projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4435fe) | patch
x86/time: Update wallclock in shared info when altering domain time offset
authorAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 18 Jul 2013 07:16:15 +0000 (09:16 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 18 Jul 2013 07:16:15 +0000 (09:16 +0200)
commit915a59f25c5eddd86bc2cae6389d0ed2ab87e69e
treeae659d5224849b8b73e86053ce93ff935b4e4eb9tree | snapshot
parentd4435fe5e2f0dfadb41ef46c38f462f45d67762ecommit | diff
x86/time: Update wallclock in shared info when altering domain time offset

domain_set_time_offset() udpates d->time_offset_seconds, but does not correct
the wallclock in the shared info, meaning that it is incorrect until the next
XENPF_settime hypercall from dom0 which resynchronises the wallclock for all
domains.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/time.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.